Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
921	Linear-time algorithms for Monadic Logic Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:23 Predicate logic Model theory Philosophical logic Semantics Algebraic structures First-order logic FO Logical connective Quantification Logic Mathematical logic Mathematics
922	CATALOG WORK SHEET U . S . D E PA R T M E N T O F T H E IN T E R IO R N ATIO N A L PA R K SE RV IC E M USEUM CATALOG RECORD-NR Add to Reading List Source URL: pluto.njcc.com Language: English - Date: 2004-12-22 08:59:14 Quantification Semantics Analytic philosophy Logic Philosophical logic Predicate logic
923	INFORMATIK BERICHTE[removed]User Defined Topological Predicates in Database Systems Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2008-08-29 08:55:42 General topology Space Connected space Matrix Support Predicate Closed set Topology Mathematics Mathematical logic
924	3 Complexity of Reasoning Francesco M. Donini Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Complexity classes Finite model theory Boolean algebra Predicate logic Boolean satisfiability problem True quantified Boolean formula NP-complete Description logic FO Theoretical computer science Computational complexity theory Applied mathematics
925	Elementary Logic PHILV1401 Fall[removed]Altschul Hall MW 11:00-12:15 Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-12 11:40:07 Logical syntax Predicate logic Formal languages Outline of logic Formation rule First-order logic Well-formed formula Proposition Index of logic articles Logic Mathematical logic Propositional calculus
926	expr2Trains20Optimized.eps Add to Reading List Source URL: dna.fernuni-hagen.de Language: English - Date: 2009-11-17 06:39:56 Software engineering Prolog Predicate Constraint satisfaction Local consistency Query optimizer SQL Constraint programming Computing Logic
927	CATALOG WORK SHEET U . S . D E PA R T M E N T O F T H E IN T E R IO R N ATIO N A L PA R K SE RV IC E M USEUM CATALOG RECORD-NR Add to Reading List Source URL: pluto.njcc.com Language: English - Date: 2004-12-22 08:59:14 Quantification Semantics Analytic philosophy Logic Philosophical logic Predicate logic
928	Structural Theory of Science as a Systematic Framework for the Design of DL’s and CD’s for E-Science Hansje Braam Utrecht University, Faculty of Humanities [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Scientific method Philosophy of science Predicate logic Model theory Knowledge representation Ontology Theory Scientific theory First-order logic Science Logic Ethology
929	PHIL V3411/ G4415 • INTRODUCTION TO SYMBOLIC LOGIC • FALL 2009, MW 2:40–3:55pm, SCH 614 Achille Varzi • 713 Philosophy Hall • tel[removed] • email: av72 • url: ~av72 • office hours: T 2:30–4:30pm ➤ GEN Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2011-07-22 09:57:47 Classical logic Philosophical logic Model theory First-order logic Quantification Propositional calculus Logic Mathematical logic Predicate logic
930	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic